" Krzysztof Apt" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Principles of Constraint Programming

Krzysztof Apt

1.74 Mb

#2

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Категория: Компьютеры

2.53 Mb

#3

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel

1.72 Mb

#4

Logics and models of concurrent systems

Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division (ed.)

Категория: Cs_Computer science, CsF_Formal methods

4.51 Mb

#5

New perspectives on games and interaction

Krzysztof R Apt; Robert Van Rooij; Koninklijke Nederlandse Akademie van Wetenschappen. Colloquium (eds.)

Категория: G_Economics, GA_Game Theory

9.33 Mb

#6

Recent advances in constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003: selecAuthor: Krzysztof R Apt; European Research Consortium for Inform

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza

6.05 Mb

#7

Principles of constraint programming

Категория: Computer science, Programming languages

1.73 Mb

#8

Concepts in Programming Languages

John C. Mitchell, Krzysztof Apt

7.59 Mb

#9

Concepts in programming languages

John C. Mitchell, Krzysztof Apt

7.59 Mb

#10

New Perspectives on Games and Interaction (Amsterdam University Press - Texts in Logic and Games)

Krzysztof Apt, Robert van Rooij

8.89 Mb

#11

New Perspectives on Games and Interaction

Krzysztof Apt, Robert van Rooij

Категория: science_books, math

12.43 Mb

#12

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace

Категория: programming_development

1.50 Mb

#13

New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi

2.34 Mb

#14

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, ... / Lecture Notes in Artificial Intelligence

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza

3.80 Mb

#15

From Logic Programming to Prolog

Krzysztof R. Apt

1.30 Mb